2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
Автор:
Kokichi Futatsugi
, Автор:
Jean-Pierre Jouannaud
, Автор:
José Meseguer
Размер книги: 8.02 Mb
CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification
Автор:
Răzvan Diaconescu; Kokichi Futatsugi
Категория:
Cs_Computer science
,
CsF_Formal methods
Размер книги: 1.06 Mb
CAFE: An Industrial Strength Algebraic Formal Method
Автор:
K. Futatsugi
, Автор:
A.T. Nakagawa
, Автор:
T. Tamai
Категория:
Mathematical logic
Размер книги: 1.91 Mb
Algebra, meaning and computation. Essays dedicated to J.A. Goguen
Автор:
Kokichi Futatsugi
, Автор:
Jean-Pierre Jouannaud
, Автор:
José Meseguer
Размер книги: 5.22 Mb
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Автор:
Kokichi Futatsugi
, Автор:
Jean-Pierre Jouannaud
, Автор:
José Meseguer
Размер книги: 6.57 Mb
Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings
Автор:
Kokichi Futatsugi
, Автор:
Satoshi Matsuoka
Размер книги: 3.55 Mb
Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003
Автор:
Kokichi Futatsugi
, Автор:
Fumio Mizoguchi
, Автор:
Naoki Yonezaki
Размер книги: 6.72 Mb
Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003
Автор:
Kokichi Futatsugi
, Автор:
Fumio Mizoguchi
, Автор:
Naoki Yonezaki
Размер книги: 9.21 Mb
